This patch fix some issue on masked interrupt:
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 10 Nov 2005 11:12:00 +0000 (12:12 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 10 Nov 2005 11:12:00 +0000 (12:12 +0100)
commit5a9c321a8e00e55073e1cef2372dc2bbb88be1cf
treea6d1987fae8bfb9ed9a62ae5363dda47b628c43d
parent76bebddcdf0d4639f5e04449986884524c5c0857
This patch fix some issue on masked interrupt:
1) check the mask setting on vmx_vioapic_do_irqs and
ioapic_get_highest_irq
2) Place mask info to a seperated data structure, and access it
atomically

Signed-off-by: Yunhong Jiang <yunhong.jiang@intel.com>
xen/arch/x86/dm/vmx_vioapic.c
xen/include/asm-x86/vmx_vioapic.h